$\forall$$r$:Rng, $e$:$\mid$$r$$\mid$. (1 $\cdot$$r$ $e$) = $e$